COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	I SENT  FOLLOWING MESSAGE YESTERDAY CONCERING DATA STRUCTURES
C00004 ENDMK
C⊗;
I SENT  FOLLOWING MESSAGE YESTERDAY CONCERING DATA STRUCTURES
  IT SEEMS HIGH TIME TO SORT OUT LANGUAGE DESIGN, VERIFICATION AND PROOFS.
  MY CONTENTION IS THAT THEY CANNOT BE TREATED INDEPENDENTLY.

hi fwh:

just been talking to JJM, and he described  some of your conversation
the other night. It sounds like we're doing and/or interested in the
same things. I've worked out details (last april) of a reasonably clean
extension to lisp--super lisp-- with user-defined data structures, and
lisp-like semantics ,an efficient implemantation and other
supernatural benefits. perhaps we could get together and discuss the
stuff.